0.62/0.76	unsat
