13.77/17.05	unsat
