13.25/13.50	unsat
