23.89/24.21	unsat
