17.86/17.94	unsat
