13.26/14.50	unsat
