12.37/12.46	unsat
