17.36/18.37	unsat
