26.79/26.85	unsat
