14.35/16.44	unsat
