26.32/26.43	unsat
