23.64/24.61	unsat
