12.45/12.50	unsat
