14.06/15.44	unsat
