19.84/22.94	unsat
