21.14/22.94	unsat
