0.86/0.93	unsat
