18.95/21.75	unsat
