16.86/16.97	unsat
