24.76/26.72	unsat
