2.07/7.76	unsat
