15.85/17.26	unsat
