18.87/19.04	unsat
