1.49/7.76	unsat
