0.86/0.90	unsat
