12.94/14.51	unsat
