19.95/23.04	unsat
