13.87/17.26	unsat
