16.86/17.28	unsat
