0.10/0.76	unsat
