18.66/21.57	unsat
