17.16/20.32	unsat
