7.54/12.87	unsat
