23.92/24.45	unsat
