12.46/12.55	unsat
