22.85/23.94	unsat
