23.79/24.00	unsat
