26.87/28.06	unsat
