23.54/24.33	unsat
