17.86/18.82	unsat
