19.56/22.84	unsat
