1.86/1.93	unsat
