0.74/0.76	unsat
