23.89/24.51	unsat
