17.86/17.93	unsat
