13.27/15.50	unsat
