13.27/14.50	unsat
