19.95/22.28	unsat
