17.66/20.38	unsat
