17.94/18.03	unsat
