13.17/16.44	unsat
