24.54/26.21	unsat
