17.50/20.04	unsat
