12.36/12.44	unsat
