19.87/22.77	unsat
