17.05/18.68	unsat
