17.85/17.94	unsat
