0.77/0.90	unsat
