23.95/24.09	unsat
