12.26/12.44	unsat
