23.03/23.84	unsat
