16.86/18.77	unsat
