12.76/13.50	unsat
