14.46/14.50	unsat
