12.46/12.58	unsat
