16.86/18.39	unsat
