23.64/24.02	unsat
