7.23/14.50	unsat
