19.95/22.56	unsat
