19.87/22.59	unsat
