2.01/6.76	unsat
