13.86/17.26	unsat
