13.76/14.51	unsat
