12.36/12.47	unsat
