23.34/23.94	unsat
