26.42/28.71	unsat
