17.86/20.93	unsat
