14.36/17.65	unsat
